Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
681	Possession as Linear Knowledge Frank Pfenning Carnegie Mellon University Pittsburgh, Pennsylvania, U.S.A. [removed] Epistemic logic analyzes reasoning governing localized knowledge, and is thus fundamental to multiag Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-05-18 11:34:24 Non-classical logic Mathematics Artificial intelligence Logic programming Substructural logic Epistemic modal logic Epistemology Frank Pfenning Linear logic Logic Branches of philosophy Science
682	Computational Logic as a Dual Process Model of Thought Bob Kowalski Imperial College London 10 February[removed]Abstract In the dual process model of thinking, developed in Cognitive Psychology, Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-06-12 15:24:01 Reasoning Non-classical logic Programming paradigms Interdisciplinary fields Logic programming Abductive logic programming Knowledge representation and reasoning Robert Kowalski Computational intelligence Science Logic Knowledge
683	Possession as Linear Knowledge Frank Pfenning [with Deepak Garg, Henry DeYoung, and Michael Ashley-Rollman] Department of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-07-15 09:34:10 Mathematics Non-classical logic Artificial intelligence Epistemic modal logic Modal logic Epistemology Authorization Linear logic Axiom Logic Mathematical logic Branches of philosophy
684	Artificial Intelligence and Human Thinking Robert Kowalski Imperial College London United Kingdom [removed] Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-05-10 03:51:12 Mathematical logic Non-classical logic Reasoning Abductive logic programming Epistemology Reason Modal logic Robert Kowalski Intelligent agent Logic Logic programming Science
685	Williamson’s Many Necessary Existents∗ Theodore Sider Analysis[removed]): 50–58 This note is to show that a well-known point about David Lewis’s (1986) Add to Reading List Source URL: tedsider.org Language: English - Date: 2009-04-05 12:09:36 Non-classical logic Philosophical logic Metalogic Model theory First-order logic Modal logic Infinitary logic Entailment Cardinal number Logic Mathematical logic Predicate logic
686	Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic Jason Reed∗ University of Pennsylvania Philadelphia, Pennsylvania, USA Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-19 08:28:42 Proof theory Philosophical logic Deduction Propositional calculus Natural deduction Linear logic First-order logic Substructural logic Modal logic Logic Mathematical logic Non-classical logic
687	Partee, Barbara H[removed]Teaching formal semantics. In Teaching Linguistics: Reflections on Practice, ed. Koenraad Kuiper, [removed]London: Equinox Publishing. (Prepublication final draft before typesetting and proofreadin Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2011-05-31 12:14:20 Science Formal languages Grammar Meaning Non-classical logic Montague grammar Formal semantics Intensional logic Modal logic Semantics Logic Linguistics
688	Artificial Intelligence Artificial Intelligence[removed]101 An abstract, argumentation-theoretic to default reasoning Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-02-24 04:12:43 Non-classical logic Logical consequence Philosophical logic Non-monotonic logic Default logic Autoepistemic logic Negation as failure Stable model semantics Entailment Logic Mathematical logic Logic programming
689	~ LnKTAZI£U 9~ ~Ed~ Robert K~als~i Department o f Cclpuing Imperial College Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:26 Non-classical logic Philosophical logic Model theory Predicate logic Formal languages First-order logic Modal logic Interpretation Fuzzy logic Logic Mathematical logic Mathematics
690	From Mathematical Logic, to Natural Language, Artificial Intelligence, and Human Thinking (A short essay in honour of Andrzej Mostowski) In Andrzej Mostowski and Foundational Studies (Eds. A. Ehrenfeucht, V.W. Marek and Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-02-23 08:49:19 Non-classical logic Philosophical logic Knowledge representation Logical consequence Robert Kowalski Abductive logic programming Mostowski Modal logic Event calculus Logic Mathematical logic Logic programming

UPDATE